#!/bin/bash

echo "-------Begin-------"

echo "name"

read name

echo "change"

read change

time=$(date "+%Y%m%d%H%M%S")

git checkout dev

git add .

git commit -m "$time-$name-$change"

git push --set-upstream origin dev

git pull

echo push success:[lab]

echo "--------End!--------"

pause

echo "Upload has finished."  #echo是打印的作用，打印上传完成